منابع مشابه
A model for recursive-parallel programs
We deene a formal model for a class of recursive-parallel systems with speciic invocation and synchronization primitives. This original model is innnite-state but can still be analyzed successfully using the \well-structured transition systems" approach.
متن کاملPARES – A Model for Parallel Recursive Programs
PowerList, ParList, and PList theories and their multidimensional extensions PowerArray, ParArray, and PArray are well suited to express recursive, data-parallel algorithms. Their abstractness is very high and assures simple and correct design of parallel programs. Base on these theories we define a model of parallel computation with a very high level of abstraction – PARES (Parallel Recursive ...
متن کاملA Formal Framework for the Analysis of Recursive-Parallel Programs
RP programs are imperative programs with parallelism and recursion and only a limited way of synchronizing parallel processes. The formal framework we propose here combines (1) a formal operational model of abstract programs (or RP schemes), (2) a set of decision methods for the analysis of RP schemes, (3) a formal operational model for the interpreted programs, and (4) translation results stat...
متن کاملA real-time recursive dynamic model for vehicle driving simulators
This paper presents the Real-Time Recursive Dynamics (RTRD) model that is developed for driving simulators. The model could be implemented in the Driving Simulator. The RTRD can also be used for off-line high-speed dynamics analysis, compared with commercial multibody dynamics codes, to speed up mechanical design process. An overview of RTRD is presented in the paper. Basic models for specific ...
متن کاملEfficient Parallel Execution of Irregular Recursive Programs
Programs whose parallelism stems from multiple re-cursion form an interesting subclass of parallel programs with many practical applications. The highly irregular shape of many recursion trees makes it dif-cult to obtain good load balancing with small overhead. We present a system called REAPAR that automatically parallelizes recursive C programs for SMP machines. Based on data from a single pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1997
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)82512-5